Section: Dissemination

Teaching - Supervision - Juries

Teaching

The DIVERSE team bears the bulk of the teaching on Software Engineering at the University of Rennes 1 and at INSA Rennes, for the first year of the Master of Computer Science (Project Management, Object-Oriented Analysis and Design with UML, Design Patterns, Component Architectures and Frameworks, Validation & Verification, Human-Computer Interaction) and for the second year of the MSc in software engineering (Model driven Engineering, Aspect-Oriented Software Development, Software Product Lines, Component Based Software Development, Validation & Verification, etc.).

Each of Jean-Marc Jézéquel, Noël Plouzeau, Olivier Barais, Johann Bourcier, Arnaud Blouin, and Mathieu Acher teaches about 200h in these domains, with Benoit Baudry and Benoit Combemale teaching about 50h, for a grand total of about 1300 hours, including several courses at ENSTB, Supelec, and ENSAI Rennes engineering school.

Olivier Barais is deputy director of the electronics and computer science teaching department of the University of Rennes 1. Mathieu Acher is in charge of teaching duties management of this department. Noël Plouzeau is the head of the final year of the Master in Computer Science at the University of Rennes 1. Johann Bourcier is co-manager of the Home-Automation option at the ESIR engineering school in Rennes.

The DIVERSE team also hosts several MSc and summer trainees every year.

Supervision

• PhD: Sana Ben Nasr [17], Mining and Modeling Variability from Natural Language Documents: Two Case Studies, Inria, April 2016, B. Baudry and M. Acher

• PhD: Guillaume Becan [19] Metamodels and Feature Models: Complementary Approaches to Formalize Product Comparison Matrices, MESR, September 2016, B. Baudry and M. Acher

• PhD: Thomas Degueule , Composition and interoperability of domain-specific language engineering, Univ. Rennes I, 02/12/16

• PhD: Francisco Acosta , Automatic Deployment and Reconfigurations in Internet of Things, Univ. Rennes I, 12/12/2016

• PhD: David Mendez Acuna , Variability in Modeling Languages, Inria, 16/12/2016

• PhD: Jacky Bourgeois , Automatic Synchronization of Energy Production and Consumption, Open University, DATE

• PhD in progress: Mohamed Boussaa, An Architecture for Testing Large-Scale Dynamic Distributed Systems, 2013, B. Baudry, O. Barais

• PhD in progress: Alejandro Gomez Boix, Distributed counter-measure against browser fingerprinting, 2016, B. Baudry, D. Bromberg

• PhD in progress: Nicolas Harrand, Automatic diversity for code obfuscation, 2016, B. Baudry

• PhD in progress: Pierre Laperdrix, Secretless moving target against browser fingerprinting, B. Baudry, G. Avoine

• PhD in progress: Johan Pelay, Langage pour une programmation incrémentale de réseau, 2016, O. Barais, F. Guillemin

• PhD in progress: Quentin Plazar, Combining Decision Procedures for Constraint Programming and SMT, 2015, M. Acher, A. Goetib

• PhD in progress: Marcelino Rodriguez Cancio, Automatic computation diversification, 2015, B. Baudry and B. Combemale

• PhD in progress: Paul Temple, Variability Testing of Computer Vision Algorithms, 2015, M. Acher, J.-M. Jézéquel

• PhD in progress: Kwaku Yeboah-Antwi, Runtime emergence of software diversity, 2013, B. Baudry

• PhD in progress: Manuel Leduc, TITRE, 2016, O. Barais, B. Combemale

• PhD in progress: Youssou NDiaye, Modelling and evaluating security in user interfaces, 2016, N. Aillery, O. Barais, A. Blouin, A. Bouabdallah

• PhD in progress: Jean-Émile Dartois, TITRE, 2016, O. Barais

• PhD in progress: Oscar Luis, Automatic test amplification, 2016, B. Baudry

• PhD in progress: Alexandre Rio, TITRE, 2016, O. Barais, Y. Morel

• PhD: in progress, Kevin Corre, Modélisation de la confiance dans les services sociaux et conversationnels, 2014, O. Barais, G. Sunye

• PhD: in progress, Gwendal Le Moulec, Towards the automatic synthesis of virtual reality applications, 2015, B. Arnaldi, A. Blouin, V. Gouranton

Juries

Mathieu Acher

was in the examination committee of the following PhD thesis:

• Guillaume Becan, September 2016, Univ Rennes I, Supervisor

• Sana Ben Nasr, April 2016, Univ Rennes I, Supervisor

• Jaime Chavarriaga, December 2016, Vrije Universiteit Brussel, Reviewer

Arnaud Blouin

was in the examination committee of the following PhD thesis:

• Thomas Degueule, December 2016, Univ Rennes I, Supervisor

Olivier Barais

was in the examination committee of the following PhD thesis:

• Thomas Degueule, December 2016, Univ Rennes I, Supervisor

• Maxime Colman, December 2016, Univ Lille I, Reviewer

• Alexandre Garnier, December 2016, EMN - Univ Nantes, Reviewer

• Matias Ezequiel Vara Larsen, April 2016, Univ Nice, Reviewer

• Djamel Khelladi, September 2016, UPMC, Reviewer

• Simon Dupont, April 2016, EMN - Univ Nantes, Reviewer

Benoit Baudry

was in the examination committee of the following PhD thesis:

• Guillaume Becan, September 2016, Univ Rennes I, Supervisor

• Sana Ben Nasr, April 2016, Univ Rennes I, Supervisor

• David Mendez, December 2016, Univ Rennes I, Supervisor

Olivier Barais

was in the examination committee of the following HDR:

• Sébastien Leriche, November 2016, ENAC, Reviewer

Jean-Marc Jézéquel

was in the examination committee of the following HDR:

• Tewfik Ziadi, December 2016, UPMC, Reviewer

Benoit Combemale

was in the examination committee of the following PhD thesis:

• Thomas Degueule, December 2016, Univ Rennes I, Supervisor

• Blazo Nastov, november 2016, Univ. Montpellier, Reviewer

• Florent Latombe, June 2016, Univ Toulouse, Examiner

• Andreas Wortmann, June 2016, Aachen University, Germany, Reviewer

• Matias Ezequiel Vara Larsen, April 2016, Univ Nice, Examiner

Johann Bourcier

was in the examination committee of the following PhD thesis:

• Francisco Javier Acosta Padilla, December 2016, Univ Rennes I, Supervisor

Jean-Marc Jézéquel

was in the examination committee of the following PhD thesis:

• Jabier Martinez, October 2016, Univ. Luxemburg, Examiner